「Ghosts of Departed Proofs」